M.E. Kammüller: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - Kyoto, Japan (2019.3.11-2019.3.15)] 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - Combining Secure System Design with Risk Assessment for IoT Healthcare Systems

Kammuller, Florian

Year:

2019

Language:

english

File:

PDF, 591 KB

english, 2019

2

On the antisymmetry of Galois embeddings

J. Burghardt, F. Kammüller, J.W. Sanders

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 85 KB

english, 2001

3

A Formal Proof of Sylow's Theorem

Florian Kammüller, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 142 KB

english, 1999

4

Attack Trees in Isabelle extended with Probabilities for Quantum Cryptography

Kammüller, Florian

Journal:

Computers & Security

Year:

2019

Language:

english

File:

PDF, 885 KB

english, 2019

5

Vβ repertoire in rats and implications for endogenous superantigens

Lawrence R. Smith, Dwight H. Kono, Michael E. Kammuller, Robert S. Balderas, Argyrios N. Theofilopoulos

Journal:

European Journal of Immunology

Year:

1992

Language:

english

File:

PDF, 516 KB

english, 1992

6

Eine Radikalisomerisierung unter homolytischer 1,5-Wasserstoffverschiebung

C. A. Grob, H. Kammüller

Journal:

Helvetica Chimica Acta

Year:

1957

Language:

german

File:

PDF, 643 KB

german, 1957

7

Übergänge aus der Gruppe der Flavone in die des Catechins

Karl Freudenberg, Alfred Kammüller

Journal:

European Journal of Organic Chemistry

Year:

1927

Language:

german

File:

PDF, 209 KB

german, 1927

8

Structural requirements for hydantoins and 2-thiohydantoins to induce lymphoproliferative popliteal lym phnode reactions in the mouse

Michael E. Kammüller, Willem Seinen

Journal:

International Journal of Immunopharmacology

Year:

1988

Language:

english

File:

PDF, 886 KB

english, 1988

9

Popliteal lymph node reactions in mice induced by the drug zimeldine

C. Thomas, J. Groten, M.E. Kammüller, J.M. De Bakker, W. Seinen, N. Bloksma

Journal:

International Journal of Immunopharmacology

Year:

1989

Language:

english

File:

PDF, 829 KB

english, 1989

10

The popliteal lymph node assay in mice to screen for the immune disregulating potential of chemicals — A preliminary study

M.E. Kammüller, C. Thomas, J.M. De Bakker, N. Bloksma, W. Seinen

Journal:

International Journal of Immunopharmacology

Year:

1989

Language:

english

File:

PDF, 624 KB

english, 1989

11

Urinary biopterin levels in mice during graft-versus-host reactions and during exposure to 5,5-diphenylhydantoin

M.E. Kammüller, H.J.M. van Rooijen, W. Seinen, N. Bloksma

Journal:

International Journal of Immunopharmacology

Year:

1991

Language:

english

File:

PDF, 799 KB

english, 1991

12

Long-term treatment with 5,5-diphenylhydantoin reduces lymphadenopathy and anti-ssDNA autoantibodies in C57BL/6-lpr/lpr mice

N. Bloksma, J.M. de Bakker, H.J.M. van Rooijen, P. Punt, W. Seinen, M.E. Kammüller

Journal:

International Journal of Immunopharmacology

Year:

1994

Language:

english

File:

PDF, 569 KB

english, 1994

13

Recombinant human interleukin-6: safety issues of a pleiotropic growth factor

Michael E. Kammüller

Journal:

Year:

1995

Language:

english

File:

PDF, 1.84 MB

english, 1995

14

Functional Active Objects: Typing and Formalisation

Ludovic Henrio, Florian Kammüller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 358 KB

english, 2009

15

Book Reviews

Florian Kammüller

Journal:

Software Testing, Verification and Reliability

Year:

2002

Language:

english

File:

PDF, 49 KB

english, 2002

16

Die nachträgliche Berücksichtigung von Querschnittsänderungen bei statisch unbestimmten Systemen

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1947

Language:

german

File:

PDF, 168 KB

german, 1947

17

Application of variational methods to resonance problems of dynamic systems

Reiner W. Kammüller

Journal:

Zeitschrift für Angewandte Mathematik und Physik (ZAMP)

Year:

1971

Language:

english

File:

PDF, 530 KB

english, 1971

18

Kinetics and morphology of chemically induced popliteal lymph node reactions compared with antigen-, mitogen-, and graft-versus-host-reaction-induced responses

J. M. De Bakker, M. E. Kammüller, E. S. M. Muller, A. W. Lam, W. Seinen, N. Bloksma

Journal:

Virchows Archiv B Cell Pathology Zell-pathologie

Year:

1989-1990

Language:

english

File:

PDF, 2.76 MB

english, 1989-1990

19

Formalizing non-interference for a simple bytecode language in Coq

Florian Kammüller

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 207 KB

english, 2008

20

An industrial application of symbolic model checking

Florian Kammüller, Sören Preibusch

Journal:

Computer Science - Research and Development

Year:

2008

Language:

english

File:

PDF, 374 KB

english, 2008

21

Extrapolation of Experimental Safety Data to Humans: The Interleukin-6 Case

M. Kammüller, B. Ryffel

Journal:

Clinical Immunology and Immunopathology

Year:

1997

Language:

english

File:

PDF, 54 KB

english, 1997

22

Cytologische Untersuchung der Lymphknotenreaktion nach Antigen- und Fremdkörperinjektion bei der weissen Maus

K. Betke, L. Bickhoff, M. Kammüller, F. Helpenstein

Journal:

Journal of Molecular Medicine

Year:

1955

Language:

german

File:

PDF, 517 KB

german, 1955

23

Spirituosen und Essig

H. Röttger, A. Kammul, A. Oelker

Journal:

European Food Research and Technology

Year:

1901

Language:

german

File:

PDF, 889 KB

german, 1901

24

ASPfun : A typed functional active object calculus

Ludovic Henrio, Florian Kammüller, Bianca Lutz

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 594 KB

english, 2012

25

Cataractogenic Effects in Rats Following Chronic Administration of SDZ ICT 322, a Selective 5-HT3 Antagonist

U.W. Längle, A. Wolf, M.E. Kammüller

Journal:

Fundamental and Applied Toxicology

Year:

1993

File:

PDF, 1.68 MB

1993

26

Pathology considerations for, and subsequent risk assessment of, chemicals identified as immunosuppressive in routine toxicology

D.A. Basketter, J.N. Bremmer, P. Buckley, M.E. Kammuller, T. Kawabata, I. Kimber, S.E. Loveless, S. Magda, D.A. Stringer, H.-W. Vohr

Journal:

Food and Chemical Toxicology

Year:

1995

Language:

english

File:

PDF, 374 KB

english, 1995

27

Fast and robust recognition and localization of 2-D objects

R. Gerdes, R. Otterbach, R. Kammüller

Journal:

Machine Vision and Applications

Year:

1995

Language:

english

File:

PDF, 1.33 MB

english, 1995

28

The identification of chemicals with sensitizing or immunosuppressive properties in routine toxicology

D.A. Basketter, J.N. Bremmer, M.E. Kammuller, T. Kawabata, I. Kimber, S.E. Loveless, S. Magda, T.H.M. Pal, D.A. Stringer, H.-W. Vohr

Journal:

Food and Chemical Toxicology

Year:

1994

Language:

english

File:

PDF, 767 KB

english, 1994

29

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 || A Memetic Algorithm for Collaborative Learning Team Formation in the Context of Software Engineering Courses

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 225 KB

english, 2012

30

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 || An Architecture for Resource Behavior Prediction to Improve Scheduling Systems Performance on Enterprise Desktop Grids

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

31

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 ||

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 12.67 MB

english, 2012

32

SPANISH TOXIC OIL SYNDROME AND CHEMICALLY INDUCED GRAFT-VERSUS-HOST-LIKE REACTIONS

Kammüller, MichaelE., Penninks, Andréh., Seinen, Willem

Journal:

Year:

1984

Language:

english

File:

PDF, 309 KB

english, 1984

33

Pathology induced by Interleukin-6

Ryffel, B., Kammüller, M., Robison, R., Myers, L.

Journal:

Toxicology Letters

Year:

1992

Language:

english

File:

PDF, 793 KB

english, 1992

34

Biological and toxicological properties of leukemia inhibitory factor (LIF)

Journal:

Toxicology Letters

Year:

1994

Language:

english

File:

PDF, 110 KB

english, 1994

35

279

Whibley, Natasha, Mamo, Anna J., Traggiai, Elisabetta, Kolbinger, Frank, Vogel, Beate, Kammüller, Michael, Siebenlist, Ulrich, Gaffen, Sarah L.

Journal:

Year:

2013

Language:

english

File:

PDF, 47 KB

english, 2013

36

Spanish toxic oil syndrome: An isothiocyanate-derived compound cannot be substantiated as a causative agent

Verhaar, H.J.M., Kammüller, M.E., Terlouw, J.K., Brandsma, L., Seinen, W.

Journal:

Food and Chemical Toxicology

Year:

1989

Language:

english

File:

PDF, 171 KB

english, 1989

37

1-phenyl-5-vinyl-2-imidazolidinethione, a proposed causative agent of Spanish toxic oil syndrome: Synthesis, and identification in one of a group of case-associated oil samples

Kammüller, M.E., Verhaar, H.J.M., Versluis, C., Terlouw, J.K., Brandsma, L., Penninks, A.H., Seinen, W.

Journal:

Food and Chemical Toxicology

Year:

1988

Language:

english

File:

PDF, 649 KB

english, 1988

38

SPANISH TOXIC OIL SYNDROME IS A CHEMICALLY INDUCED GVHD-LIKE EPIDEMIC

Kammuller, MichaelE., Penninks, Andréh., Seinen, Willem

Journal:

Year:

1984

Language:

english

File:

PDF, 293 KB

english, 1984

39

[IEEE International Conference on Autonomic and Autonomous Systems (ICAS'06) - Silicon Valley, CA, USA (19-21 July 2006)] International Conference on Autonomic and Autonomous Systems (ICAS'06) - Self-Managing Application Composition for Cross-Platform Operating Environments

Paal, S., Kammuller, R., Freisleben, B.

Year:

2006

Language:

english

File:

PDF, 285 KB

english, 2006

40

[IEEE Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. - Zaragoza, Spain (2004.09.3-2004.09.3)] Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. - Self-managing remote object interconnections

Paal, S., Kammuller, R., Freisleben, B.

Year:

2004

Language:

english

File:

PDF, 336 KB

english, 2004

41

[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - Translating Fusion/UML to Object-Z

Bittner, M., Kammuller, F.

Year:

2003

Language:

english

File:

PDF, 231 KB

english, 2003

42

[IEEE 2014 21st International Conference on Telecommunications (ICT) - Lisbon, Portugal (2014.5.4-2014.5.7)] 2014 21st International Conference on Telecommunications (ICT) - Verification of DNSsec Delegation Signatures

Kammuller, Florian

Year:

2014

Language:

english

File:

PDF, 271 KB

english, 2014

43

[IEEE Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) - Takamatsu, Japan (31 Oct.-5 Nov. 2000)] Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113) - A simplified criterion for repeatability and its application in constraint path planning problems

Schaufler, R., Fedrowitz, C.H., Kammuller, R.

Year:

2000

Language:

english

File:

PDF, 496 KB

english, 2000

44

[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Heuristics for refinement relations

Kammuller, F., Sanders, J.W.

Year:

2004

Language:

english

File:

PDF, 316 KB

english, 2004

45

[IEEE 2009 Fourth International Conference on Internet Monitoring and Protection - Venice/Mestre, Italy (2009.05.24-2009.05.28)] 2009 Fourth International Conference on Internet Monitoring and Protection - Enhancing Privacy Implementations of Database Enquiries

Kammüller, Florian, Kammüller, Reiner

Year:

2009

Language:

english

File:

PDF, 189 KB

english, 2009

46

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - Network Information Flow Control: Proof of Concept

Alghothami, Alwaleed, Kammuller, Florian

Year:

2013

Language:

english

File:

PDF, 1.39 MB

english, 2013

47

[IEEE 2010 Fifth International Conference on Internet Monitoring and Protection - Barcelona, Spain (2010.05.9-2010.05.15)] 2010 Fifth International Conference on Internet Monitoring and Protection - Implementing Privacy with Erlang Active Objects

Fleck, Andreas, Kammüller, Florian

Year:

2010

Language:

english

File:

PDF, 304 KB

english, 2010

48

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - DNSsec in Isabelle - Replay Attack and Origin Authentication

Kammuller, Florian, Kirsal-Ever, Yoney, Cheng, Xiaochun

Year:

2013

Language:

english

File:

PDF, 414 KB

english, 2013

49

Chemical-induced autoimmune reactions and spanish toxic oil syndrome. Focus on hydantoins and related compounds

Kammuller, Michael E., Bloksma, Nanne, Seinen, Willem

Journal:

Clinical Toxicology (Informa Healthcare)

Year:

1988

Language:

english

File:

PDF, 894 KB

english, 1988

50

Investigative safety science as a competitive advantage for Pharma

Moggs, Jonathan, Moulin, Pierre, Pognan, Francois, Brees, Dominique, Leonard, Michele, Busch, Steve, Cordier, Andre, Heard, David J, Kammüller, Michael, Merz, Michael, Bouchard, Page, Chibout, Salah-D

Journal:

Expert Opinion on Drug Metabolism & Toxicology

Year:

2012

Language:

english

File:

PDF, 313 KB

english, 2012